logic specification造句

however, this tempo-ral logic based technology was not conveniently applied to the verification ofknowledge logic specification
然而,传统的模型检测是基于时态逻辑的,它并不支持知识逻辑规范的验证。
we designed a small business rule management system based on the constrained chinese natural language . the system comprises a three-level rule language model to facilitate the direct one-for-one encoding of business logic specifications into business rules
基于受限汉语的业务规则管理系统在传统brms的基础上引入了中文环境，使得业务规则具有受限自然语言的表达和开发实施平台，大大提高了brms的易用性。
6 clarke e m, emerson e a, sistla a p . automatic verification of finite-state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems, 1986, 8 : 244-263.7 aho a v, hopcroft j e, ullman j d . the design and analysis of computer algorithms
modelchecking过去主要是作为一种验证技术被广为使用的，本文作者通过对dmc以及后续工程项目的研究发现，modelchecking完全可以作为一种计算技术被广泛使用，就相当于已经成为经典编译技术yacc在软件开发的各个层面上被广泛使用一样。
It's difficult to find logic specification in a sentence. 用logic specification造句挺难的